-
1 hypothèse de calcul
Dictionnaire polytechnique Français-Russe > hypothèse de calcul
-
2 hypothèse de calcul
fdesign assumption, design basisDictionnaire d'ingénierie, d'architecture et de construction > hypothèse de calcul
-
3 hypothèse de calcul
Французско-русский универсальный словарь > hypothèse de calcul
-
4 hypothèse
-
5 расчётная гипотеза
Русско-французский политехнический словарь > расчётная гипотеза
-
6 design assumption
Dictionary of Engineering, architecture and construction > design assumption
-
7 design basis
Dictionary of Engineering, architecture and construction > design basis
-
8 расчётная гипотеза
adjeng. hypothèse de calcul -
9 расчётное предположение
adjconstruct. hypothèse de calculDictionnaire russe-français universel > расчётное предположение
-
10 vérifier
vérifier [veʀifje]➭ TABLE 71. transitive verba. ( = contrôler) to check ; [+ comptes] to auditb. ( = confirmer, prouver) [+ soupçons, hypothèse, théorie] to confirm2. reflexive verb* * *veʀifje
1.
1) ( tester) to check [appareil, instrument]; ( contrôler) to check [identité, adresse, norme, calcul]2) ( confirmer) to verify, to check [affirmation, témoignage]; to confirm [hypothèse]; to verify [fait]
2.
se vérifier verbe pronominal [hypothèse, théorie] to be borne out* * *veʀifje vt1) (= contrôler) to checkIl a fait vérifier l'état de ses pneus avant de partir en vacances. — He had his tyres checked before he went on holiday.
2) (= corroborer) to confirm3) INFORMATIQUE to verify* * *vérifier verb table: plierA vtr1 ( tester) to check [appareil, instrument]; ( contrôler) to check [identité, adresse, norme, calcul]; vérifier que/si to check that/if ou whether; vérifie que la fenêtre est fermée check that the window is closed;2 ( confirmer) to verify, check [affirmation, témoignage]; to confirm [événement, hypothèse]; to verify [fait]; attendez, je vais vérifier hold on, I'll just check; l'information reste à vérifier the information has still to be checked; l'hypothèse n'est pas vérifiée dans les faits the hypothesis is not borne out by the facts.B se vérifier vpr [hypothèse, théorie] to be borne out; se vérifier dans les faits to be borne out by the facts.[verifje] verbe transitif2. [preuve, témoignage] to checkvérifie son adresse check that his address is correct, check his addressvérifier que ou si... to check ou to make sure that, to check whether...je vais vérifier que ou si ce que vous dites est vrai I'll make sure that you're telling the truth————————se vérifier verbe pronominal intransitif[craintes, supposition] to be borne out ou confirmed
См. также в других словарях:
CALCUL INFINITÉSIMAL - Calcul à une variable — Créée au XVIIe siècle par Newton, Leibniz et leurs prédécesseurs immédiats, transformée au XVIIIe, par Euler, en un prodigieux instrument de calcul, débarrassée, sous la Restauration, de sa métaphysique par le baron Cauchy, l’analyse… … Encyclopédie Universelle
Hypothese de Riemann — Hypothèse de Riemann Représentation de la valeur absolue de la fonction zêta de Riemann. L hypothèse de Riemann est une conjecture formulée en 1859 par le mathématicien Bernhard Riemann. Elle dit que les zéros non triviaux de la fonction zêta de… … Wikipédia en Français
Hypothèse De Riemann — Représentation de la valeur absolue de la fonction zêta de Riemann. L hypothèse de Riemann est une conjecture formulée en 1859 par le mathématicien Bernhard Riemann. Elle dit que les zéros non triviaux de la fonction zêta de Rieman … Wikipédia en Français
Hypothèse de riemann — Représentation de la valeur absolue de la fonction zêta de Riemann. L hypothèse de Riemann est une conjecture formulée en 1859 par le mathématicien Bernhard Riemann. Elle dit que les zéros non triviaux de la fonction zêta de Rieman … Wikipédia en Français
Calcul Des Propositions — Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C est aussi la première… … Wikipédia en Français
Calcul propositionnel — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
CALCUL INFINITÉSIMAL - Calcul à plusieurs variables — Le calcul infinitésimal des fonctions de plusieurs variables a eu un développement plus tardif que celui des fonctions d’un seul argument. Inauguré avec un siècle de retard, il ne parvient à établir solidement ses fondements qu’au début du XXe… … Encyclopédie Universelle
CALCUL NUMÉRIQUE (HISTOIRE DU) — Dans l’enseignement des mathématiques en France, le calcul numérique apparaît le plus souvent comme une simple application des théories. Au contraire, l’histoire des mathématiques montre, comme on va le voir, qu’il y a interaction constante entre … Encyclopédie Universelle
Calcul Des Séquents — En logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen[1][2]. Le nom de ce formalisme fait référence à un style particulier de déduction qui manipule … Wikipédia en Français
Calcul de séquences — Calcul des séquents En logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen[1][2]. Le nom de ce formalisme fait référence à un style particulier de… … Wikipédia en Français
Calcul des sequents — Calcul des séquents En logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen[1][2]. Le nom de ce formalisme fait référence à un style particulier de… … Wikipédia en Français